Let's try this on staging

Should be up in a minute at https://staging.rocq-prover.org (commit 42cd4a9)

I'm fine with it, probably we can improve the "More Papers" placement / visibility. @BastienSozeau ?

Actually, if you search and hit enter your get a page with the results hidden under More Papers, that's broken to me.

Right, the details button close when searching. So it filters correctly but do not work with <details> correctly

I have written a small fix that checks if a query has been permformed and if so open the details, but it only works if the function is used once. If used several times, it bugs. I am sorry, I don't know how to do better.

I guess @BastienSozeau might know how to do better. I also think the "recommended papers" should disappear once a query has been done.

If we print papers by tags, maybe we want on the right here, a search bar to search through all papers ?

I don't know if it should disappear or not. I would say no, if there is different section by topic.
To me the issue is mostly that the page reload but not at the level of the search section.

I don't think it makes sense to keep the recommended papers when you enter a search, so I removed that section when a query (even an empty one) has been made. I think it's looking better now. Still have the common issue of jumping to #results in the page being hidden by the top bar... as in #88

I'm deploying on staging for testing

@thomas-lamiaux @BastienSozeau please have a look!

I am not managing to check the last deployment on my phone, sth is wrong with the app. Could you post the url

https://staging.rocq-prover.org/